401. Simulation of materials processing : theory, methods and applications : proceedings of the fifth International Conference on Numerical Methods in Industrial Forming Processes
پدیدآورنده : edited by Shan-Fu Shen & Paul R. Dawson
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresse, Numerical calculations Congresse
رده :
TJ
1189
.
N9715
1995
402. Simulation of materials processing: theory, methods and applications: proceedings of the 7th International Conference on Numerical Methods in Industrial Forming Processes - Numiform 2001/ Toyohashi/ Japan/ 18-20 June 2001
پدیدآورنده : edited by Ken-ichiro Mori
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematical models -- Congresses ، Metal-work,Mathematical models -- Congresses ، Polymers,Congresses ، Numerical calculations
رده :
TS
200
.
N85
2001
403. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Polymers-- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
1998
404. Spline functions :
پدیدآورنده : Larry L. Schumaker, Vanderbilt University, Nashville, Tennessee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Numerical calculations.,Spline theory.,Numerical calculations.,Spline theory.
رده :
QA224
.
S34
2015
405. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : / Gotz Alfeld...[et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer arithmetic,Floating - Point Arithmetic,Numerical Calculations - Verification
رده :
QA76
.
9
.
M35S92
2001
406. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
407. Symbolic and numerical scientific computation
پدیدآورنده : / Franz Winkler, Ulrich Langer (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
408. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
پدیدآورنده : Franz Winkler, Ulrich Langer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
409. The approximation of fuctions
پدیدآورنده : / by John R. Rice
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Approximate computation,Functions,Numerical calculations
رده :
517
.
5
Ri-A
410. The calculation of atomic structures:based on lectures given
پدیدآورنده : HARTREE,DOUGLAS R
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : WAVE MECHANICS , NUMERICAL CALCULATIONS
رده :
QC
174
.
5
.
H35
411. The logic of computer arithmetic
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronics digital computers,Numerical calculations,Brinary systmes
رده :
510
.
78
Fl-L
412. The logic of computers arithmaetic
پدیدآورنده : FLORES,IVAN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS , NUMERICAL CALCULATIONS , BINARY SYSTEM )MATHEMATICS(
رده :
QA
76
.
5
.
F46
413. Theory of algorithms (Teorija algorifmov) Translated from Russian
پدیدآورنده : / [by: Jacques J. Schorrkon and PST staff],Markov
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Numerical calculations
رده :
QA
297
.
M34
414. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
415. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
416. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Astrophysics , Relativistic fluid dynamics , Aerodynamics, Transonic , Numerical calculations
رده :
QB
461
.
C44
417. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Astrophysics,، Relativistic fluid dynamics,، Aerodynamics, Transonic,، Numerical calculations
رده :
QB
461
.
C44
1990
418. Theory of transonic astrophysical flows
پدیدآورنده : Chakrabarti, Sandip K.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Astrophysics,، Relativistic fluid dynamics,، Aerodynamics, Transonic,، Numerical calculations
رده :
QB
461
.
C44
1990
419. Topics in validated computations
پدیدآورنده : / edited by Jeurgen Herzberger
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
420. Topics in validated computations
پدیدآورنده : / edited by Jurgen Herzberger
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
